﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using Microsoft.Pex.Framework;
using Microsoft.VisualStudio.TestTools.UnitTesting;
using Symexamples;

namespace HintProvider
{
    [PexClass(typeof(TopologicalSortAlgorithm<,>))]
    [TestClass]
    public partial class TestMethods
    {
        [PexMethod]
        [MyHintProvider]
        [PexAssertReachEventually]        
        public void HintTest<TVertex, TEdge>([PexAssumeUnderTest]TopologicalSortAlgorithm<TVertex, TEdge> target)
            where TEdge : IEdge<TVertex>
        {
            if (target.GetState())
                PexAssert.ReachEventually();
        }

        [PexMethod]                
        [PexAssertReachEventually]
        public void FactoryMethodTest([PexAssumeUnderTest]IntStack ints)            
        {
            if (ints.GetSize() == 5)
                PexAssert.ReachEventually();
        }
    }
}
